Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
31	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
32	Deprecating the Observer Pattern with Scala.React EPFL-REPORTIngo Maier Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2012-05-04 09:47:10 Programming paradigms Evaluation strategy Software design patterns Reactive programming Esterel Scala Observer pattern Combinatory logic Time
33	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
34	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
35	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
36	Turbo Parsers: Dependency Parsing by Approximate Variational Inference Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ ∗ School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2010-09-01 07:58:08 Belief propagation Coding theory Probability theory Combinatory logic
37	Vienna Lectures on Mechanism Design with Applications Jacob K. Goeree EDG and Centre for Policy and Market Design, UTS 1. Optimal Auctions (Monday 9:00 – 12:00) a. A simple example Add to Reading List Source URL: www.vgse.at Language: English - Date: 2015-04-17 06:23:37 Auction theory Combinatorial auction Auction Spectrum auction Mechanism design Combinatorics Combinatory logic
38	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
39	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
40	LNCSLongest Motifs with a Functionally Equivalent Central Block Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Logic in computer science FO Finite model theory Combinatory logic Formal languages Planted motif search